<html><head><link rel="stylesheet" type="text/css" href="css/tips.css"/></head><body>
        <p>
            You can install plugins that integrate Git, the HTTP client, Docker, or add other functionality. To
            install a plugin, open <span class="control">Settings</span> <span class="shortcut">&shortcut:ShowSettings;</span> and navigate to
            <span class="control">Plugins</span>. Type the plugin name in the search field and press
            <span class="shortcut">&shortcut:ShowSettings;</span>
            .
        </p>
        <p class="image"><img src="images/tips_db_DBPlugins.png" alt="Installing plugins"/></p>
    </body></html>